Jazzbot: A non-monotonically reasoning bot in a simulated 3D environment
نویسندگان
چکیده
In our previous research we designed Jazzyk, a modular programming language for development of cognitive agent systems. Jazzyk obeys two basic design principles: 1) it allows for an easy integration of heterogeneous knowledge representation technologies, and 2) draws a strict distinction between modeling agent’s knowledge and reasoning vs. its behaviours. To further drive the development of Jazzyk, we implemented Jazzbot, a softbot embodied in a simulated 3D environment of a computer game Nexuiz. The core of Jazzbot ’s belief base is implemented as a logic program interpreted in the semantics of Answer Set Programming, thus exploiting the power of non-monotonic reasoning. It is complemented by a Ruby language module for representing the bot’s topological knowledge about the environment. Jazzbot thus demonstrates the synergistic effect of using heterogeneous, in this case declarative and object-oriented, KR technologies in a single agent system.
منابع مشابه
Two Case Studies for Jazzyk BSM
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and interpreter. The Jazzyk BSM framework draws a strict distinction between knowledge representation and behavioural aspects of an agent program. Jazzyk BSM thus enables synergistic exploitation of heterogeneous knowledge ...
متن کاملCombining AI Methods for Learning Bots in a Real-Time Strategy Game
We describe an approach for simulating human game-play in strategy games using a variety of AI techniques, including simulated annealing, decision tree learning, and case-based reasoning. We have implemented an AI-bot that uses these techniques to form a novel approach for planning fleet movements and attacks in DEFCON, a nuclear war simulation strategy game released in 2006 by Introversion Sof...
متن کاملCombining Artificial Intelligence Methods : Automating the Playing of DEFCON by Robin Baumgarten MSc in Advanced Computing Individual Project Report
In the commercial video game industry, computer opponents that act intelligently are increasingly important, especially as better graphical effects decline to serve as a driving force for the commercial success of a game. The methods used by developers to create these bots are often obsolete and struggle to scale with the complexity of modern games. Nonetheless the use of modern artificial inte...
متن کاملEvolving Aggregation Behaviors in a Swarm of Robots
In this paper, we study aggregation in a swarm of simple robots, called s-bots, having the capability to self-organize and selfassemble to form a robotic system, called a swarm-bot. The aggregation process, observed in many biological systems, is of fundamental importance since it is the prerequisite for other forms of cooperation that involve self-organization and self-assembling. We consider ...
متن کاملProbabilistic Backward and Forward Reasoning in Stochastic Relational Worlds
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in dynamic Bayesian networks compiled from learned probabilistic relational rules. Inspired by work in non-relational domains with small state spaces, we derive a backpropagation method for such nets in relational domains ...
متن کامل